25 research outputs found
Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs
We show that the model-checking problem for successor-invariant first-order
logic is fixed-parameter tractable on graphs with excluded topological
subgraphs when parameterised by both the size of the input formula and the size
of the exluded topological subgraph. Furthermore, we show that model-checking
for order-invariant first-order logic is tractable on coloured posets of
bounded width, parameterised by both the size of the input formula and the
width of the poset.
Our result for successor-invariant FO extends previous results for this logic
on planar graphs (Engelmann et al., LICS 2012) and graphs with excluded minors
(Eickmeyer et al., LICS 2013), further narrowing the gap between what is known
for FO and what is known for successor-invariant FO. The proof uses Grohe and
Marx's structure theorem for graphs with excluded topological subgraphs. For
order-invariant FO we show that Gajarsk\'y et al.'s recent result for FO
carries over to order-invariant FO
Non-Definability Results for Randomised First-Order Logic
We investigate the expressive power of randomised first-order logic
(BPFO) on restricted classes of structures. While BPFO is
stronger than FO in general, even on structures with a built-in
addition relation, we show that BPFO is not stronger than FO
on structures with a unary vocabulary, nor on the class of
equivalence relations. The same techniques can be applied to show
that evenness of a linear order, and therefore graph connectivity,
can not be defined in BPFO. Finally, we show that there is an
FO[<]-definable query on word structures which can not be
defined in BPFO[+1]
On the optimality of the neighbor-joining algorithm
The popular neighbor-joining (NJ) algorithm used in phylogenetics is a greedy
algorithm for finding the balanced minimum evolution (BME) tree associated to a
dissimilarity map. From this point of view, NJ is ``optimal'' when the
algorithm outputs the tree which minimizes the balanced minimum evolution
criterion. We use the fact that the NJ tree topology and the BME tree topology
are determined by polyhedral subdivisions of the spaces of dissimilarity maps
to study the optimality of the neighbor-joining
algorithm. In particular, we investigate and compare the polyhedral
subdivisions for . A key requirement is the measurement of volumes of
spherical polytopes in high dimension, which we obtain using a combination of
Monte Carlo methods and polyhedral algorithms. We show that highly unrelated
trees can be co-optimal in BME reconstruction, and that NJ regions are not
convex. We obtain the radius for neighbor-joining for and we
conjecture that the ability of the neighbor-joining algorithm to recover the
BME tree depends on the diameter of the BME tree
On the number of types in sparse graphs
We prove that for every class of graphs which is nowhere dense,
as defined by Nesetril and Ossona de Mendez, and for every first order formula
, whenever one draws a graph and a
subset of its nodes , the number of subsets of which are of
the form
for some valuation of in is bounded by
, for every . This provides
optimal bounds on the VC-density of first-order definable set systems in
nowhere dense graph classes.
We also give two new proofs of upper bounds on quantities in nowhere dense
classes which are relevant for their logical treatment. Firstly, we provide a
new proof of the fact that nowhere dense classes are uniformly quasi-wide,
implying explicit, polynomial upper bounds on the functions relating the two
notions. Secondly, we give a new combinatorial proof of the result of Adler and
Adler stating that every nowhere dense class of graphs is stable. In contrast
to the previous proofs of the above results, our proofs are completely
finitistic and constructive, and yield explicit and computable upper bounds on
quantities related to uniform quasi-wideness (margins) and stability (ladder
indices)
Successor-Invariant First-Order Logic on Classes of Bounded Degree
We study the expressive power of successor-invariant first-order logic, which
is an extension of first-order logic where the usage of an additional successor
relation on the structure is allowed, as long as the validity of formulas is
independent on the choice of a particular successor. We show that when the
degree is bounded, successor-invariant first-order logic is no more expressive
than first-order logic
Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs
We prove that whenever G is a graph from a nowhere dense graph class C, and A is a subset of vertices of G, then the number of subsets of A that are realized as intersections of A with r-neighborhoods of vertices of G is at most f(r,eps)|A|^(1+eps), where r is any positive integer, eps is any positive real, and f is a function that depends only on the class C. This yields a characterization of nowhere dense classes of graphs in terms of neighborhood complexity, which answers a question posed by [Reidl et al., CoRR, 2016]. As an algorithmic application of the above result, we show that for every fixed integer r, the parameterized Distance-r Dominating Set problem admits an almost linear kernel on any nowhere dense graph class. This proves a conjecture posed by [Drange et al., STACS 2016], and shows that the limit of parameterized tractability of Distance-r Dominating Set on subgraph-closed graph classes lies exactly on the boundary between nowhere denseness and somewhere denseness
Model-Checking on Ordered Structures
We study the model-checking problem for first- and monadic second-order logic
on finite relational structures. The problem of verifying whether a formula of
these logics is true on a given structure is considered intractable in general,
but it does become tractable on interesting classes of structures, such as on
classes whose Gaifman graphs have bounded treewidth. In this paper we continue
this line of research and study model-checking for first- and monadic
second-order logic in the presence of an ordering on the input structure. We do
so in two settings: the general ordered case, where the input structures are
equipped with a fixed order or successor relation, and the order invariant
case, where the formulas may resort to an ordering, but their truth must be
independent of the particular choice of order. In the first setting we show
very strong intractability results for most interesting classes of structures.
In contrast, in the order invariant case we obtain tractability results for
order-invariant monadic second-order formulas on the same classes of graphs as
in the unordered case. For first-order logic, we obtain tractability of
successor-invariant formulas on classes whose Gaifman graphs have bounded
expansion. Furthermore, we show that model-checking for order-invariant
first-order formulas is tractable on coloured posets of bounded width.Comment: arXiv admin note: substantial text overlap with arXiv:1701.0851